option 4: The future is conditionally independent of the past given the current state